Analysis of Flatness Measurement and Form Stability of a Granite Surface Plate

It is rather difficult to compare quantitatively flatness measuring results of one and the same object (e.g. in case of a long-term stability investigation) or the results of a series of products (e.g. from the same machinetool in order to indicate machinetool-influences). An extension of a computerprogram applied to the evaluation of flatness measurement (as described in the CIRP-Annals, vol. 26 (1977), no.1), separates the form deviations of a surface into a geometrical part and a random part.\ud The geometric part consists of a best-fitting non-flat, reference plane, composed of the single curvature of a sphere and the double curvature of a real twisted plane. Three parameters (the dimensionless curvature parameters of sphericity and torsion, together with the direction of the torsionvector) are able to characterize the geometrical part of the surface; a fourth one is a measure for the random part.\ud Advantages of the method are demonstrated with the aid of a long-term investigation into the form stability of a granite surface plate.\ud Another extension of the program makes it now possible to measure surfaces with non-rectangular contours in the same way as it is being done in case of a rectangular surface plate.\u

Chabauty-Coleman experiments for genus 3 hyperelliptic curves

We describe a computation of rational points on genus 3 hyperelliptic curves $C$ defined over $\mathbb{Q}$ whose Jacobians have Mordell-Weil rank 1. Using the method of Chabauty and Coleman, we present and implement an algorithm in Sage to compute the zero locus of two Coleman integrals and analyze the finite set of points cut out by the vanishing of these integrals. We run the algorithm on approximately 17,000 curves from a forthcoming database of genus 3 hyperelliptic curves and discuss some interesting examples where the zero set includes global points not found in $C(\mathbb{Q})$.Comment: 18 page

On finiteness conjectures for modular quaternion algebras

It is conjectured that there exist only finitely many isomorphism classes of endomorphism algebras of abelian varieties of bounded dimension over a number field of bounded degree. We explore this conjecture when restricted to quaternion endomorphism algebras of abelian surfaces of GL$_2$-type over Q by giving a moduli interpretation which translates the question into the diophantine arithmetic of Shimura curves embedded in Hilbert surfaces. We address the resulting problems on these curves by local and global methods, including Chabauty techniques on explicit equations of Shimura curves

Inventory control in multi-item production systems

This thesis focusses on the analysis and construction of control policies in multiitem production systems. In such systems, multiple items can be made to stock, but they have to share the finite capacity of a single machine. This machine can only produce one unit at a time and if it is set-up for one item, a switch-over or set-up time is needed to start the production of another item. Customers arrive to the system according to (compound) Poisson processes and if they see no stock upon arrival, they are either considered as a lost sale or backlogged. In this thesis, we look at production systems with backlog and production systems with lost sales. In production systems with lost sales, all arriving customers are considered lost if no stock is available and penalty costs are paid per lost customer. In production systems with backlog, arriving customers form a queue if they see no stock and backlogging costs are paid for every backlogged customer per time unit. These production systems find many applications in industry, for instance glass and paper production or bulk production of beers, see Anupindi and Tayur [2]. The objective for the production manager is to minimize the sum of the holding and penalty or backlogging costs. At each decision moment, the manager has to decide whether to switch to another product type, to produce another unit of the type that is set-up or to idle the machine. In order to minimize the total costs, a balance must be found between a fast switching scheme that is able to react to sudden changes in demand and a production plan with a little loss of capacity. Unfortunately, a fast switching scheme results in a loss of capacity, because switching from one product type to another requires a switch-over or set-up time. In the optimal production strategy, decisions depend on the complete state of the system. Because the processes at the different product flows depend on these decisions, the processes also depend on the complete state of the system. This means that the processes at the different product flows are not independent, which makes the analysis and construction of the optimal production strategy very complex. In fact, the complexity of the determination of this policy grows exponentially in the number of product types and if this number is too large, the optimal policy becomes intractable. Production strategies in which decisions depend on the complete system are defined as global lot sizing policies and are often difficult to construct or analyse, because of the dependence between the different product flows. However, in this thesis the construction of a global lot sizing policy is presented which also works for production systems with a large number of product types. The key factor that makes the construction possible is the fact that it is based on a fixed cycle policy. In Chapter 2, the fixed cycle policy is analysed for production systems with lost sales and in Chapter 6, the fixed cycle policy is analysed for production systems with backlog. The fixed cycle policy can be analysed per product flow and this decomposition property allows for the determination of the so called relative values. If it is assumed that one continues with a fixed cycle control, the relative values per product type represent the relative expected future costs for each decision. Based on these relative values, an improvement step (see Norman [65]) is performed which results in a ‘one step improvement’ policy. This policy is constructed and analysed in Chapters 2 and 7 for production systems with lost sales and production systems with backlog, respectively. This global lot sizing policy turns out to perform well compared to other, heuristic production strategies, especially in systems with a high load and demand processes with a high variability. A similar approach as for the production system with a single machine is performed in a system with two machines and lost sales in Chapter 3. Results show that in some cases the constructed strategy works well, although in some systems two separate one step improvement policies perform better. Examples of more heuristic production strategies are gated and exhaustive basestock policies. In these ’local lot sizing‘ policies, decisions depend only on the stock level of the product type that is set-up. But even in these policies, the processes at the different product flows are dependent. This makes the analysis difficult, but for production systems with backlog a translation can be made to a queueing system by looking at the number of products short to the base-stock level. So the machine becomes a server and each product flow becomes a queue. In these queueing systems, also known as polling systems, gated and exhaustive base-stock policies become gated and exhaustive visit disciplines. For polling systems, an exact analysis of the queue length or waiting time distribution is often possible via generating functions or Laplace-Stieltjes transforms. In Chapter 5, the determination of the sojourn time distribution of customers in a polling system with a (globally) gated visit discipline is presented, which comes down to the determination of the lead time distribution in the corresponding production system

On the Lebesgue measure of Li-Yorke pairs for interval maps

We investigate the prevalence of Li-Yorke pairs for $C^2$ and $C^3$ multimodal maps $f$ with non-flat critical points. We show that every measurable scrambled set has zero Lebesgue measure and that all strongly wandering sets have zero Lebesgue measure, as does the set of pairs of asymptotic (but not asymptotically periodic) points. If $f$ is topologically mixing and has no Cantor attractor, then typical (w.r.t. two-dimensional Lebesgue measure) pairs are Li-Yorke; if additionally $f$ admits an absolutely continuous invariant probability measure (acip), then typical pairs have a dense orbit for $f \times f$. These results make use of so-called nice neighborhoods of the critical set of general multimodal maps, and hence uniformly expanding Markov induced maps, the existence of either is proved in this paper as well. For the setting where $f$ has a Cantor attractor, we present a trichotomy explaining when the set of Li-Yorke pairs and distal pairs have positive two-dimensional Lebesgue measure.Comment: 41 pages, 3 figure

Complex maps without invariant densities

We consider complex polynomials $f(z) = z^\ell+c_1$ for $\ell \in 2\N$ and $c_1 \in \R$, and find some combinatorial types and values of $\ell$ such that there is no invariant probability measure equivalent to conformal measure on the Julia set. This holds for particular Fibonacci-like and Feigenbaum combinatorial types when $\ell$ sufficiently large and also for a class of `long-branched' maps of any critical order.Comment: Typos corrected, minor changes, principally to Section

Equilibrium states for potentials with \sup\phi - \inf\phi < \htop(f)

In the context of smooth interval maps, we study an inducing scheme approach to prove existence and uniqueness of equilibrium states for potentials $\phi$ with he `bounded range' condition \sup \phi - \inf \phi < \htop, first used by Hofbauer and Keller. We compare our results to Hofbauer and Keller's use of Perron-Frobenius operators. We demonstrate that this `bounded range' condition on the potential is important even if the potential is H\"older continuous. We also prove analyticity of the pressure in this context.Comment: Added Lemma 6 to deal with the disparity between leading eigenvalues and operator norms. Added extra references and corrected some typo

Natural equilibrium states for multimodal maps

This paper is devoted to the study of the thermodynamic formalism for a class of real multimodal maps. This class contains, but it is larger than, Collet-Eckmann. For a map in this class, we prove existence and uniqueness of equilibrium states for the geometric potentials $-t \log|Df|$, for the largest possible interval of parameters $t$. We also study the regularity and convexity properties of the pressure function, completely characterising the first order phase transitions. Results concerning the existence of absolutely continuous invariant measures with respect to the Lebesgue measure are also obtained

Permanent Secretary, Department of Welfare, Eastern Cape, and another v Ngxuza and others — Hofreëls vir die voer van ’n groepsgeding?

’n Groepsgeding is ’n prosedure vir die akkomodering van litigasie gebaseer op gemeenskaplike (dieselfde) feite- en/of regsvrae ingestel of verdedig deur ’n verteenwoordiger namens ’n definieerbare groep persone. Groepsgedingvoering was tot voor die inwerkingtreding van die tussentydse Grondwet 200 van 1993 grootliks onbekend aan die Suid-Afrikaanse reg. Die tussentydse Grondwet het die posisie verander deur burgerskap aan groepsgedingvoering te verleen. Dié posisie is ook in artikel 38 (gelykluidend aan artikel 7 van die tussentydse Grondwet) van die finale Grondwet 108 van 1996 oorgeneem. Die aanwending van die prosedure is egter tans alleen beperk tot die beskerming van regte in die Grondwet verskans

Die Class Proceedings Act van Ontario — ’n voorbeeld van wetgewing vir die regulering van Suid-Afrikaanse groepsgedingvoering

In 1995 and 1998 the South African Law Commission proposed the promulgation of legislation to govern class action proceedings. The Class Proceedings Act of Ontario was one of the sources consulted by the Commission. According to the commission this piece of legislation played a valuable role in their recommendations. This contribution discusses this act as an example of legislation which may usefully be consulted in the drafting of a procedure to govern class actions in South Africa